$\forall$$a$, $b$:$\mathbb{Z}$. imin($a$;$b$) = imin($b$;$a$) $\in$ $\mathbb{Z}$